#include <stdint.h>
void dump_hex(const void* data, uint32_t size);
